Katelman, Michael: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis

Michael Katelman, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 347 KB

english, 2007

2

Rewriting semantics of production rule sets

Katelman, Michael, Keller, Sean, Meseguer, José

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

3

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Verification of microarchitectural refinements in rule-based systems

Dave, Nirav, Katelman, Michael, King, Myron, Arvind,, Meseguer, Jose

Year:

2011

Language:

english

File:

PDF, 724 KB

english, 2011

4

[IEEE 2009 15th IEEE Symposium on Asynchronous Circuits and Systems (ASYNC) - Chapel Hill, NC, USA (2009.05.17-2009.05.20)] 2009 15th IEEE Symposium on Asynchronous Circuits and Systems - A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits

Keller, Sean, Katelman, Michael, Martin, Alain J.

Year:

2009

Language:

english

File:

PDF, 306 KB

english, 2009

5

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - A formal executable semantics of Verilog

Meredith, Patrick, Katelman, Michael, Meseguer, Jose, Rosu, Grigore

Year:

2010

Language:

english

File:

PDF, 385 KB

english, 2010

6

Railway signalling

Meredith, Patrick, Katelman, Michael, Meseguer, Jose, Rosu, Grigore

Journal:

Journal of the Institution of Electrical Engineers

Year:

1957

Language:

english

File:

PDF, 421 KB

english, 1957

7

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - Directed-Logical Testing for Functional Verification of Microprocessors

Katelman, Michael, Meseguer, Jose, Escobar, Santiago

Year:

2008

Language:

english

File:

PDF, 1.59 MB

english, 2008

8

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Staging static analyses for program generation

Kamin, Sam, Aktemur, Baris, Katelman, Michael

Year:

2006

Language:

english

File:

PDF, 230 KB

english, 2006